____ _ _ _ _
| _ \ ___ | |_ (_) _ __ ___ __| | (_) __ _
| |_) | / _ \ | __| | | | '_ \ / _ \ / _| | | | / _ |
| _ < | __/ | |_ | | | |_) | | __/ | (_| | | | | (_| |
|_| \_\ \___| \__| |_| | .__/ \___| \__,_| |_| \__,_|
|_|
- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b
Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―
Faddeeva-Funktion
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
top
Die Faddeeva-Funktion (auch Kramp-Funktion oder relativistische Plasma-Dispersions-Funktion) ist eine skalierte komplexe komplementΓ€re Fehlerfunktion,
w ( z ) := e β β z 2 erfc β‘ β‘ ( β β i z ) = e β β z 2 ( 1 + 2 i Ο Ο β« β« 0 z e t 2 d t ) . {\displaystyle w(z):=e^{-z^{2}}\operatorname {erfc} (-iz)=e^{-z^{2}}\left(1+{\frac {2i}{\sqrt {\pi }}}\int _{0}^{z}e^{t^{2}}{\text{d}}t\right).}
Sie ist verwandt mit den Fresnel-Integralen, den Dawson-Integralen und dem Voigt-Profil. Die Funktion ist nach Wera Nikolajewna Faddejewa benannt.
Contents
β’ Eigenschaften
β’ Ableitung
β’ Geschichte
β’ Literatur
β’ Quellen
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
Eigenschaften
Real- und ImaginΓ€rteil
FΓΌr genauere Betrachtungen lΓ€sst sich w ( z ) {\displaystyle w\left(z\right)} mit z = x + i y {\displaystyle z=x+iy} wie folgt zerlegen:
w ( z ) = V ( x , y ) + i L ( x , y ) {\displaystyle w(z)=V\left(x,y\right)+iL\left(x,y\right)} ,
V {\displaystyle V} und L {\displaystyle L} stellen hierbei die reale und imaginΓ€re Voigt-Funktion dar, da es sich bei V ( x , y ) {\displaystyle V(x,y)} bis auf Vorfaktoren um das Voigt-Profil handelt.cite-ref-avetisov-1995-1-0[1]
Integraldarstellung
Die Faddeeva-Funktion besitzt die Integraldarstellung
w ( z ) = i Ο Ο β« β« β β β β β β e β β t 2 z β β t d t β β ( z ) > 0 {\displaystyle w(z)={\frac {i}{\pi }}\int _{-\infty }^{\infty }{\frac {e^{-t^{2}}}{z-t}}\,\mathrm {d} t\qquad \Im \left(z\right)>0}
sprich sie ist die Konvolution einer GauΓ-Funktion und einer einfachen Polstelle.cite-ref-avetisov-1995-1-1[1]
Die reale und imaginΓ€re Voigt-Funktion lassen sich in Γ€hnlicher Weise darstellen:cite-ref-avetisov-1995-1-2[1]
V ( x , y ) = y Ο Ο β« β« β β β β β β e β β t 2 ( x β β t ) 2 + y 2 d t {\displaystyle V\left(x,y\right)={\frac {y}{\pi }}\int _{-\infty }^{\infty }{\frac {e^{-t^{2}}}{\left(x-t\right)^{2}+y^{2}}}\,\mathrm {d} t}
L ( x , y ) = 1 Ο Ο β« β« β β β β β β ( x β β t ) β
β
e β β t 2 ( x β β t ) 2 + y 2 d t {\displaystyle L\left(x,y\right)={\frac {1}{\pi }}\int _{-\infty }^{\infty }{\frac {\left(x-t\right)\ \cdot \ e^{-t^{2}}}{\left(x-t\right)^{2}+y^{2}}}\,\mathrm {d} t}
Verhalten bei Vorzeichenumkehr
Bei einer Vorzeichenumkehr von z {\displaystyle z} kann bei Berechnungen auf die folgenden ZusammenhΓ€nge zurΓΌckgegriffen werden:
w ( β β z ) = 2 e β β z 2 β β w ( z ) {\displaystyle w(-z)=2e^{-z^{2}}-w(z)}
sowie
w ( β β z ) = w ( z Β― Β― ) Β― Β― {\displaystyle w(-z)={\overline {w\left({\overline {z}}\right)}}}
z Β― Β― {\displaystyle {\overline {z}}} ist die Konjugation von z {\displaystyle z} .cite-ref-2[2]
Ableitung
In manchen Anwendungen muss nicht nur die Faddeeva-Funktion selbst, sondern auch ihre Ableitungen berechnet werden, beispielsweise bei der Nichtlinearen Regression in der Spektroskopie. Ihre analytische Ableitung lautet:cite-ref-avetisov-1995-1-3[1]cite-ref-3[3]
d w ( z ) d z = 2 i Ο Ο β β 2 β
β
z β
β
w ( z ) {\displaystyle {\frac {dw\left(z\right)}{dz}}={\frac {2i}{\sqrt {\pi }}}-2\cdot z\cdot w\left(z\right)}
Dieser Ausdruck kann auch herangezogen werden, um die Γnderungen im Real- und ImaginΓ€rteil der Faddeeva-Funktion β β ( w ( z ) ) = β β w {\displaystyle \Re \left(w\left(z\right)\right)=\Re _{w}} und β β ( w ( z ) ) = β β w {\displaystyle \Im \left(w\left(z\right)\right)=\Im _{w}} nachzuvollziehen. Im Prinzip muss dafΓΌr das Produkt z β
β
w ( z ) {\displaystyle z\cdot w\left(z\right)} eingehender betrachtet werden. Mit der obigen Definition des Arguments z = x + i y {\displaystyle z=x+iy} , kann die Ableitung auch in ihre partiellen Ableitungen nach x {\displaystyle x} und y {\displaystyle y} zerlegt werden:
d β β w d x = 2 β
β
( y β
β
β β w β β x β
β
β β w ) = d β β w d y {\displaystyle {\frac {d\Re _{w}}{dx}}=2\cdot \left(y\cdot \Im _{w}-x\cdot \Re _{w}\right)={\frac {d\Im _{w}}{dy}}}
d β β w d y = β β 2 β
β
( 1 Ο Ο β β x β
β
β β w β β y β
β
β β w ) = β β d β β w d x {\displaystyle {\frac {d\Re _{w}}{dy}}=-2\cdot \left({\frac {1}{\sqrt {\pi }}}-x\cdot \Im _{w}-y\cdot \Re _{w}\right)=-{\frac {d\Im _{w}}{dx}}}
d β β w d x = 2 β
β
( 1 Ο Ο β β x β
β
β β w β β y β
β
β β w ) = β β d β β w d y {\displaystyle {\frac {d\Im _{w}}{dx}}=2\cdot \left({\frac {1}{\sqrt {\pi }}}-x\cdot \Im _{w}-y\cdot \Re _{w}\right)=-{\frac {d\Re _{w}}{dy}}}
d β β w d y = 2 β
β
( y β
β
β β w β β x β
β
β β w ) = d β β w d x {\displaystyle {\frac {d\Im _{w}}{dy}}=2\cdot \left(y\cdot \Im _{w}-x\cdot \Re _{w}\right)={\frac {d\Re _{w}}{dx}}}
Beziehungen zu anderen Funktionen
Dawsonsche Funktion
Es gilt folgende Beziehung zur Dawsonschen Funktion D + ( x ) {\displaystyle D_{+}(x)}
w ( x ) = e β β x 2 erfc β‘ β‘ ( β β i x ) = e β β x 2 + 2 i Ο Ο D + ( x ) . {\displaystyle w(x)=e^{-x^{2}}\operatorname {erfc} (-ix)=e^{-x^{2}}+{\frac {2i}{\sqrt {\pi }}}D_{+}(x).} cite-ref-4[4]
KomplementΓ€re Fehlerfunktion
FΓΌr rein imaginΓ€re Argumente i y {\displaystyle iy} entspricht die Faddeeva-Funktion der skalierten KomplementΓ€ren Fehlerfunktion e r f c x {\displaystyle erfcx}
w ( i y ) = e r f c x ( y ) = e y 2 e r f c ( y ) {\displaystyle w(iy)=\mathrm {erfcx} (y)=e^{y^{2}}\mathrm {erfc} (y)} ,
mit der KomplementΓ€ren Fehlerfunktion e r f c {\displaystyle erfc} .
Geschichte
Die Funktion wurde 1954 von Wera Faddejewa und Terentjew tabuliert.cite-ref-5[5] Sie erscheint als namenlose Funktion w ( z ) {\displaystyle w(z)} im Standardwerk von Abramowitz-Stegun (1964), Formel 7.1.3. Der Name Faddeeva function wurde anscheinend 1990 von Poppe und Wijers eingefΓΌhrt.cite-ref-6[6]
Implementierungen
Steven G. Johnson hat eine Implementierung als freie und offene Software verΓΆffentlicht, die auf einer Kombination der Algorithmen 680 und 916 beruht.cite-ref-7[7] Sie liegt der Funktion scipy.special.wofz in der Python-Bibliothek SciPy zugrunde, und sie ist auch in Form einer C-Bibliothek libcerf verfΓΌgbar.cite-ref-8[8]
Literatur
β’ W. Gautschi ACM Transactions on Mathematical Software (1969?): ACM Algorithmus 363.
β’ W. Gautschi SIAM J. Numer. Anal. 7, 187 (1970).
β’ G. P. M. Poppe, C. M. J. Wijers, ACM Transactions on Mathematical Software 16, 38β46 (1990): ACM Algorithm 680.
β’ J. A. C. Weideman, SIAM J. Numer. Anal. 31, 1497β1518 (1994): Besonders kompakter Algorithmus in 8 Zeilen Matlab.
β’ M. R. Zaghloul and A. N. Ali, ACM Transactions on Mathematical Software 38, 15 (2011): ACM Algorithm 916.
β’ S. M. Abrarov and B. M. Quine, Appl. Math. Comp. 218, 1894β1902 (2011).
β’ S. M. Abrarov and B. M. Quine, Arxiv, Preprint 2012
Quellen
cite-note-avetisov-1995-11. β V. G. Avetisov: A Least-Squares Fitting Technique for Spectral Analysis of Direct and Frequency-Modulation Lineshapes. In: FakultΓ€t fΓΌr Physik der UniversitΓ€t Lund (Hrsg.): Lund Reports in Atomic Physics. LRAP-186, 1995 (lu.se [PDF]).
cite-note-22. β W. Gautschi: Efficient Computation of the Complex Error Function. In: Society for Industrial and Applied Mathematics (Hrsg.): SIAM Journal on Numerical Analysis. Band 7, Nr. 1, 1970, S. 187β198 (nasa.gov [PDF]).
cite-note-33. β National Institute of Standards and Technology (NIST): 7 Error functions, Dawson's and Fresnel integrals - 7.10 Derivatives, 15. MΓ€rz 2023, abgerufen am 14. Mai 2023
cite-note-44. β J. H. McCabe: A Continued Fraction Expansion, with a Truncation Error Estimate, for Dawson's Integral. In: American Mathematical Society (Hrsg.): Mathematics of Computation. Band 28, Nr. 127, 1974, S. 811β816.
cite-note-55. β V. N. Faddeeva, N. N. Terent'ev: Tables of values of the function w ( z ) = exp β‘ β‘ ( β β z 2 ) ( 1 + 2 i / Ο Ο β« β« 0 z exp β‘ β‘ ( t 2 ) d t ) {\displaystyle w(z)=\exp(-z^{2})(1+2i/{\sqrt {\pi }}\int _{0}^{z}\exp(t^{2}){\text{d}}t)} for complex argument. Gosud. Izdat. Teh.-Teor. Lit., Moscow, 1954; English transl., Pergamon Press, New York, 1961.
cite-note-66. β Google-Scholar-Recherche laut engl. Wikipedia.
cite-note-77. β Faddeeva Package, unter MIT-Lizenz.
cite-note-99. β Sanjar Abrarov: The Voigt/complex error function (second version), MATLAB Central File Exchange, 10. Juli 2016, abgerufen am 14. Mai 2023